The Dragonfly of Chicoutimi : une interprétation micropsychanalytique

Interprétation d'images basée sur une approche évolutive guidée par une ontologie

Résumé. Les approches de fouille et d’interprétation d’images consistant à considérer les pixels de façon indépendante ont montré leurs limites pour l’analyse d’images complexes. Pour résoudre ce problème, de nouvelles méthodes s’appuient sur une segmentation préalable de l’image qui consiste en une agrégation des pixels connexes afin de former des régions homogènes au sens d’un certain critère...

Une interprétation combinatoire des coefficients des développements en série entière des fonctions elliptiques de Jacobi

Interprétation automatique de traces d'activités issues de différents contextes pour une modélisation du diagnostic

RÉSUMÉ. Les apprenants travaillent de plus en plus sur des environnements informatiques leur offrant un panel d’activités réalisables à l’aide d’outils de différentes natures, générant des traces d’activités qu’il faut considérer et combiner, afin d’établir un diagnostic aussi fin que possible de l’activité de l’apprenant. Cet article présente le modèle de diagnostic informatique DiagElec dont ...

Interprétation abstraite

Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.

Analyse statique par interprétation abstraite

Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a ...